🎯 Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·16h·
Discuss: DEV
📝ABNF Parsing
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·6h
📄Text Segmentation
Challenging LR Parsing (2020)
rust-analyzer.github.io·1d·
Discuss: Lobsters, r/programming
🦀Rust Macros
Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
Notes on an overheard conversation between a prescriptivist and a descriptivist
boston.conman.org·2h
🔍Archive Semantics
What AI chatbots are doing under the hood
gilesthomas.com·1d·
Discuss: Hacker News
🎙️Whisper
A Unified Theory of Language
arxiv.org·2d
💻Programming languages
🌟Introducing Art-0-8B: Reasoning the way you want it to with Adaptive Thinking🌟 [R]
reddit.com·7h·
Discuss: r/MachineLearning
🔗Constraint Handling
Working with Contexts
oreilly.com·2d
🔗Constraint Handling
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
Answering some questions about Baba Yaga
eli.li·11h·
Discuss: Hacker News
🎯Dependent Types
Quirks of Common Lisp Types
fosskers.ca·5h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Core Concepts: Decoding Human Language
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·12h·
Discuss: Hacker News
🔗Archive Combinators
What is a large language model?
proton.me·1d
💻Local LLMs
From Multi-Head to Latent Attention: The Evolution of Attention Mechanisms
vinithavn.medium.com·23h·
Discuss: Hacker News
⧗Information Bottleneck